(315,060) (000,050)fields (000,030)(1,0)030060type-declarer (1,0)030060field-name (1,0)030 (185,020)(20,20)[r] (185,010)(-1,0)030 (025,010)(1,0)12010, (115,020)(20,20)[l] (025,020)(20,20)[l]
The fields of a structure may have different types, and each field is tagged by a (different) field-name.